Inference at * 1 
Iof proof for Lemma sq stable from stable:



1. P : 
2. (P)  P
3. P
  P 

latex

 by BackThruHyp 2 

latex

 1: 

 1:   P
 .

Definitions

P  Q